$\forall$${\it es}$:ES, $i$:Id, $L$:(Knd List), $x$:Id, $T$:Type. @$i$ only $L$ affect $x$:$T$ $\in$ $\mathbb{P}$